$\forall$$T$:Type, $L$:($T$ List). rev(rev($L$)) $\sim$ $L$